1. Logic programming
المؤلف: CLARK,KEITH L ED
المکتبة: (طهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
L58
2. Micro-PROLOG: progamming in logic
المؤلف: Clark, Keith L.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
1984
3. Micro-PROLOG : programming in logic
المؤلف: Clark, Keith L.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Micro - PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
1983
4. Micro-PROLOG : programming in logic
المؤلف: Clark, K. L.)Keith L.(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
.
C55
1984
5. Micro - Prolog: Programming in logic
المؤلف: Clark, K.L. )Keith L.(
المکتبة: (خراسان الجنوبیة)
موضوع: ، Micro - Prolog )computer program language(
رده :
QA
76
.
73
.
M5
C55
1983
6. Micro-prolog : programming in logic
المؤلف: Clark, Keith L.
المکتبة: (طهران)
موضوع: Micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
7. Programs, machines, and computation : an introduction to the theory of computing
المؤلف: Clark, Keith L.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
C54
